
public class CompiledPushProgram extends push2java.PushProgram {

    public void eval() {
	push2java.BooleanCommands.OR(state);
	push2java.PushCommands.PUSH_INT(-1733187562, state);
	push2java.PushCommands.PUSH_INT(-829392027, state);
	push2java.PushCommands.PUSH_FLOAT(0.6842877f, state);
	push2java.PushCommands.PUSH_BOOLEAN(true, state);
	push2java.BaseTypeCommands.REP(state);
	push2java.PushCommands.PUSH_BOOLEAN(true, state);
	push2java.BaseTypeCommands.SWAP(state);
	push2java.PushCommands.PUSH_BOOLEAN(true, state);
	push2java.PushCommands.PUSH_NAME("LABEL1", state);
	push2java.BooleanCommands.NOR(state);
	push2java.NumberCommands.FLOAT_SUB(state);
	push2java.PushCommands.PUSH_BOOLEAN(false, state);
	push2java.BaseTypeCommands.PULL(state);
	push2java.BaseTypeCommands.PULLDUP(state);
	push2java.NumberCommands.INTEGER_ADD(state);
	push2java.PushCommands.PUSH_NAME("LABEL4", state);
	push2java.BaseTypeCommands.PULL(state);
	push2java.PushCommands.PUSH_BOOLEAN(false, state);
	push2java.BooleanCommands.OR(state);
	push2java.NumberCommands.FLOAT_SUB(state);
	push2java.PushCommands.PUSH_FLOAT(0.54547197f, state);
	push2java.NumberCommands.FLOAT_ADD(state);
	push2java.BaseTypeCommands.GET(state);
	push2java.NumberCommands.INTEGER_SUB(state);
	push2java.BaseTypeCommands.GET(state);
	push2java.PushCommands.PUSH_BOOLEAN(false, state);
	push2java.BaseTypeCommands.PULL(state);
	push2java.NumberCommands.FLOAT_DIV(state);
	push2java.BaseTypeCommands.GET(state);
	push2java.BaseTypeCommands.PULLDUP(state);
	push2java.BaseTypeCommands.POP(state);
	push2java.NumberCommands.INTEGER_SUB(state);
	push2java.BaseTypeCommands.REP(state);
	push2java.BooleanCommands.OR(state);
	push2java.BaseTypeCommands.NOOP(state);
	push2java.BooleanCommands.NAND(state);
	push2java.PushCommands.PUSH_NAME("LABEL4", state);
	push2java.PushCommands.PUSH_FLOAT(0.9610547f, state);
	push2java.BaseTypeCommands.NOOP(state);
	push2java.PushCommands.PUSH_BOOLEAN(true, state);
	push2java.NumberCommands.INTEGER_ADD(state);
	push2java.NumberCommands.FLOAT_ADD(state);
	push2java.BooleanCommands.OR(state);
	push2java.PushCommands.PUSH_FLOAT(0.46079665f, state);
	push2java.NumberCommands.INTEGER_DIV(state);
	push2java.NumberCommands.INTEGER_MULT(state);
	push2java.BaseTypeCommands.REP(state);
	push2java.BaseTypeCommands.PULL(state);
	push2java.BooleanCommands.OR(state);
	push2java.NumberCommands.FLOAT_DIV(state);
	push2java.BaseTypeCommands.REP(state);
	push2java.BaseTypeCommands.EQUALS(state);
	push2java.BooleanCommands.NOT(state);
	push2java.BaseTypeCommands.CONVERT(state);
	push2java.BaseTypeCommands.NOOP(state);
	push2java.BooleanCommands.AND(state);
	push2java.BaseTypeCommands.SWAP(state);
	push2java.BaseTypeCommands.PULLDUP(state);
	push2java.PushCommands.PUSH_FLOAT(0.61604345f, state);
	push2java.PushCommands.PUSH_INT(-178133389, state);
	push2java.NumberCommands.INTEGER_DIV(state);
	push2java.BaseTypeCommands.GET(state);
	push2java.PushCommands.PUSH_BOOLEAN(false, state);
	push2java.PushCommands.PUSH_FLOAT(0.16809726f, state);
	push2java.PushCommands.PUSH_INT(-757385579, state);
	push2java.BaseTypeCommands.PULLDUP(state);
	push2java.PushCommands.PUSH_FLOAT(0.41967034f, state);
	push2java.PushCommands.PUSH_NAME("LABEL4", state);
	push2java.PushCommands.PUSH_FLOAT(0.49770248f, state);
	push2java.NumberCommands.INTEGER_MULT(state);
	push2java.PushCommands.PUSH_FLOAT(0.45359874f, state);
	push2java.BaseTypeCommands.PULLDUP(state);
	push2java.PushCommands.PUSH_BOOLEAN(true, state);
	push2java.BaseTypeCommands.PULL(state);
	push2java.NumberCommands.INTEGER_DIV(state);
	push2java.PushCommands.PUSH_INT(228607432, state);
	push2java.BaseTypeCommands.REP(state);
	push2java.NumberCommands.INTEGER_MULT(state);
	push2java.PushCommands.PUSH_BOOLEAN(true, state);
	push2java.PushCommands.PUSH_FLOAT(0.3801484f, state);
	push2java.BaseTypeCommands.SET(state);
	push2java.PushCommands.PUSH_FLOAT(0.17935532f, state);
	push2java.PushCommands.PUSH_FLOAT(0.63388604f, state);
	push2java.BooleanCommands.NOR(state);
	push2java.PushCommands.PUSH_FLOAT(0.9152072f, state);
	push2java.PushCommands.PUSH_BOOLEAN(false, state);
	push2java.PushCommands.PUSH_NAME("LABEL8", state);
	push2java.NumberCommands.FLOAT_DIV(state);
	push2java.PushCommands.PUSH_FLOAT(0.79719836f, state);
	push2java.BooleanCommands.NAND(state);
	push2java.BaseTypeCommands.PULLDUP(state);
	push2java.PushCommands.PUSH_INT(2011252641, state);
	push2java.BaseTypeCommands.CONVERT(state);
	push2java.PushCommands.PUSH_BOOLEAN(false, state);
	push2java.PushCommands.PUSH_INT(123039727, state);
	push2java.PushCommands.PUSH_INT(-708291767, state);
	push2java.NumberCommands.INTEGER_ADD(state);
	push2java.PushCommands.PUSH_BOOLEAN(true, state);
	push2java.BaseTypeCommands.SWAP(state);
    }
}
